
Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.

Pecet gada przez sen
7 maja 2009, 19:58Specjaliści z Microsoft Research we współpracy z naukowcami z Uniwersytetu Kalifornijskiego w San Diego opracowali prototypowe urządzenie, które umożliwia komputerowi komunikację w stanie uśpienia. Standardowy pecet czy laptop może albo być aktywny, wówczas jest w pełni gotowy do pracy i pobiera sporo energii nawet gdy nic na nim nie robimy, albo uśpiony, a wówczas komputer nie wykonuje żadnych zadań.

Amfory nie tylko do wina
17 października 2011, 15:56Starożytne greckie amfory są powszechnie kojarzone z pojemnikami do przechowywania wina i oliwy. Najnowsze badania śladów DNA pozostawionych na ściankach naczyń wskazują jednak, że amfory były znacznie szerzej wykorzystywane.
Rdzenie graficzne Nvidii dla Intela
15 listopada 2006, 11:36Jen Hsun Huang, szef Nvidii, zapowiedział, że jego firma zaoferuje chipsety dla procesorów Intela z wbudowanym rdzeniem graficznym. To duża zmiana w podejściu Nvidii, która dotychczas koncentrowała się na rynku najbardziej wydajnych platform Intela.

W jaskini pod zamkiem w Olsztynie odkryto narzędzia neandertalczyków
2 sierpnia 2019, 09:28W jaskini znajdującej się na terenie zamku w Olsztynie koło Częstochowy znaleziono setki krzemiennych narzędzi wykonanych ręka neandertalczyka. Olsztyński zamek to jedna z największych tego typu budowli na Jurze Krakowsko-Częstochowskiej.

Chińczycy dotrzymali słowa i dowodzą kwantowej supremacji na większej macierzy
28 października 2021, 13:27Chińscy naukowcy ogłosili, że dotrzymali słowa danego w grudniu ubiegłego roku i ulepszyli swój układ optyczny tak, że przeprowadził kwantowe gaussowskie próbkowanie bozonu na macierzy 144x144. Tym samym potwierdzili, że ich komputer kwantowy osiągnął kwantową supremację, czyli jest w stanie wykonać obliczenia, których komputery klasyczne nie potrafią wykonać w rozsądnym czasie.

Japończycy zwyciężyli
23 grudnia 2013, 09:51Gill Pratt, który z ramienia DARPA nadzoruje coroczne zawody Robotic Challenge przyznał, że jest mile zaskoczony świetnym wynikiem uzyskanym w bieżącym roku przez japoński Team Schaft. Android zbudowany w Kraju Kwitnącej Wiśni pozostawił konkurencję daleko w tyle zdobywając 27 z 32 punktów

Świetlna fala uderzeniowa w grafenie
13 czerwca 2016, 12:54Gdy samolot zaczyna poruszać się szybciej od dźwięku, powstaje fala uderzeniowa, tzw. grom dźwiękowy. Teraz grupa naukowców m.in. z MIT przewidziała istnienie podobnego efektu, ale z wykorzystaniem światła poruszającego się w grafenie.

Andy starsze niż myślano
18 maja 2009, 17:02Andy zaczęły powstawać około 25 milionów lat temu, a nie, jak dotąd sądzono, przed 10 milionami lat. Do takich wniosków doszli naukowcy ze Smithsonian Tropical Research Institute (STRI) w Panamie, uniwersytetu w Poczdamie oraz kolumbijskiej firmy Ecopetrol.

Lodowce Arktyki traciły lód w przeszłości
25 października 2011, 18:15Od dłuższego czasu media donoszą o niepokojąco dużym cieleniu się lodowców Arktyki. Odrywanie się gór lodowych to jeden ze wskaźników tempa ocieplania się klimatu.